Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
561	On Set-Driven Combination of Logics and Verifiers LARA Technical Report, February 2, 2009 Viktor Kuncak1 and Thomas Wies1,2 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-02-02 09:55:31 Model theory Logic in computer science Metalogic Predicate logic Proof theory First-order logic Satisfiability Modulo Theories Presburger arithmetic Quantifier elimination Logic Mathematical logic Theoretical computer science
562	Tensor Spectral Clustering for Partitioning Higher-order Network Structures Austin R. Benson∗ Abstract David F. Gleich† Add to Reading List Source URL: cs.stanford.edu Language: English - Date: 2015-01-29 11:19:57 Algebraic graph theory Matrices Network theory Networks Graph partition Spectral clustering Eigenvalues and eigenvectors Conductance Adjacency matrix Mathematics Algebra Graph theory
563	Microsoft Word - ORDER FORM01 Add to Reading List Source URL: all.eregulations.us Language: English - Date: 2014-05-16 15:43:50 Decision theory Rulemaking Repeal United States administrative law Law Administrative law
564	1 Wet Paper Codes with Improved Embedding Efficiency Jessica Fridrich, Member, IEEE, Miroslav Goljan, and David Soukal Add to Reading List Source URL: www.ws.binghamton.edu Language: English - Date: 2006-04-26 08:10:51 Coding theory Category theory Differential topology Embedding Order theory Linear code Steganography Sobolev inequality Mathematics Topology Abstract algebra
565	hiJaC Higher-Order UTP for Theories of Object-Orientation Frank Zeyda and Ana Cavalcanti University of York (UK) Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:36:54 Formal methods Mathematics Computability theory Functions and mappings Predicate logic Mereology Logic
566	APAC Minutes – Meeting January 28, 2015 1:00pm Music City Central 400 Charlotte Avenue Nashville, TNCall to Order/Introductions Add to Reading List Source URL: www.nashvillemta.org Language: English - Date: 2015-05-29 16:00:15 Software engineering Programming language theory Computing C Cross-platform software
567	District Personnel Evaluation System Ruling Q&A – AugustWhat does the recent Division of Administrative Hearings (DOAH) ruling mean? a. The Department received the final order regarding the challenge to propos Add to Reading List Source URL: fldoe.org Language: English - Date: 2014-11-07 15:19:41 United States administrative law Evaluation Evaluation methods Ethics Administrative law Decision theory Rulemaking
568	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
569	Introductory Logic PHIL 102, Spring 2011 M/W 10–10:50, LCD01 Instructor: Colin Klein Office: 1420 University Hall Add to Reading List Source URL: www.colinklein.org Language: English - Date: 2013-06-20 01:20:37 Predicate logic Science Philosophical logic First-order logic Final examination Valuation Quantification Logic Mathematical logic Model theory
570	Microsoft Word - SNAP Auctions - News Release - FINAL DRAFTdocx Add to Reading List Source URL: www.chx.com Language: English Business Auction Commerce Order Snap Regulation NMS Economy of the United States Auction theory Chicago Stock Exchange Auctioneering

UPDATE